p-graph(A; f)(x,y) == (can-apply(f; x)) c (y = do-apply(f; x)) 

latex

---

clarification:

p-graph(A; f)(x,y) == (can-apply(f; x)) c (y = do-apply(f; x)  A) 

latex

Definitions	x.A(x), A c B, b, can-apply(f; x), s = t, do-apply(f; x)
FDL editor aliases	p-graph